Luc Maranget: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Fences in weak memory models (extended version)

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1.50 MB

english, 2012

2

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synchronising C/C++ and POWER

Sarkar, Susmit, Memarian, Kayvan, Owens, Scott, Batty, Mark, Sewell, Peter, Maranget, Luc, Alglave, Jade, Williams, Derek

Year:

2012

Language:

english

File:

PDF, 464 KB

english, 2012

3

Compiling Join-Patterns

Fabrice Le Fessant, Luc Maranget

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 973 KB

english, 1998

4

Inheritance in the join calculus

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy

Journal:

The Journal of Logic and Algebraic Programming

Year:

2003

Language:

english

File:

PDF, 578 KB

english, 2003

5

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Understanding POWER multiprocessors

Sarkar, Susmit, Sewell, Peter, Alglave, Jade, Maranget, Luc, Williams, Derek

Year:

2011

Language:

english

File:

PDF, 523 KB

english, 2011

6

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Herding cats

Alglave, Jade, Maranget, Luc, Tautschnig, Michael

Year:

2013

Language:

english

File:

PDF, 126 KB

english, 2013

7

Warnings for pattern matching

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 281 KB

english, 2007

8

Functional back-ends within the lambda-sigma calculus

Hardin, Thérèse, Maranget, Luc, Pagano, Bruno

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 883 KB

english, 1996

9

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Functional back-ends within the lambda-sigma calculus

Hardin, Thérèse, Maranget, Luc, Pagano, Bruno

Year:

1996

Language:

english

File:

PDF, 883 KB

english, 1996

10

Herding Cats

Alglave, Jade, Maranget, Luc, Tautschnig, Michael

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 3.38 MB

english, 2014

11

[ACM Press the 18th ACM SIGPLAN-SIGACT symposium - Orlando, Florida, United States (1991.01.21-1991.01.23)] Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 - Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems

Year:

1991

Language:

english

File:

PDF, 1.34 MB

english, 1991

12

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Compiling lazy pattern matching

Year:

1992

Language:

english

File:

PDF, 928 KB

english, 1992

13

FUNCTIONAL PEARL Functional satisfaction

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 98 KB

english, 2004

14

Functional runtime systems within the lambda-sigma calculus

HARDIN, THÉRÈSE, MARANGET, LUC, PAGANO, BRUNO

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 517 KB

english, 1998

15

[ACM Press the sixth ACM SIGPLAN international conference - Florence, Italy (2001.09.03-2001.09.05)] Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 - Optimizing pattern matching

Le Fessant, Fabrice, Maranget, Luc

Year:

2001

Language:

english

File:

PDF, 210 KB

english, 2001

16

Compiling lazy pattern matching

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1992

Language:

english

File:

PDF, 928 KB

english, 1992

17

Optimizing pattern matching

Le Fessant, Fabrice, Maranget, Luc

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 210 KB

english, 2001

18

Understanding POWER multiprocessors

Sarkar, Susmit, Sewell, Peter, Alglave, Jade, Maranget, Luc, Williams, Derek

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 523 KB

english, 2011

19

Synchronising C/C++ and POWER

Sarkar, Susmit, Memarian, Kayvan, Owens, Scott, Batty, Mark, Sewell, Peter, Maranget, Luc, Alglave, Jade, Williams, Derek

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 464 KB

english, 2012

20

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Flur, Shaked, Sarkar, Susmit, Pulte, Christopher, Nienhuis, Kyndylan, Maranget, Luc, Gray, Kathryn E., Sezgin, Ali, Batty, Mark, Sewell, Peter

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 298 KB

english, 2017

21

[ACM Press the Twenty-Third International Conference - Williamsburg, VA, USA (2018.03.24-2018.03.28)] Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '18 - Frightening Small Children and Disconcerting Grown-ups

Alglave, Jade, Maranget, Luc, McKenney, Paul E., Parri, Andrea, Stern, Alan

Year:

2018

Language:

english

File:

PDF, 1.17 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски